Arcata's Theory of Logical Marks
نویسندگان
چکیده
منابع مشابه
Logical Constants as Punctuation Marks
This paper presents a proof-theoretical approach to the question "What is a logical constant?" This approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e. deductions independent of any constant of the language to which the premises and conclusions belong. Logical constants, on which the remaining forma...
متن کاملStatistical theory of logical derivability
A generalization of notions like "theory" in the sense of mathematical logic, "Markov (normal) algorithm" etc., is described; the new notion is called "formal system". The generalization of notions "validity", and also of notion "provability" of formulas is the notion "derivability". Derivability is studied using statistical methods, analogous to the methods used in the statistical theory of de...
متن کاملTABLE OF MARKS OF FINITE GROUPS
Let G be a finite group and C(G) be the family of representative conjugacy classes of subgroups of G. The matrix whose H;K-entry is the number of fixed points of the set G=K under the action of H is called the table of marks of G where H;K run through all elements in C(G). In this paper, we compute the table of marks and the markaracter table of groups of order pqr where p, q, r are prime numbers.
متن کاملMetaphysics of Logical Realism
با اینکه اغلب به غلط تصور میشود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن میتوان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکلگیریاش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...
متن کاملDomain Theory in Logical Form
A metalanguage for denotational semantics is given a logical interpretation: types are interpreted as propositional theories; terms (in an extended typed λ-calculus, denoting elements of types) are embedded in an endogenous program logic, which characterises their behaviour in terms of which properties they satisfy; terms (in an extension of the algebraic metalanguage of cartesian closed catego...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1998
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.46.954